
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
   "http://www.w3.org/TR/html4/loose.dtd">

<html><!-- InstanceBegin template="/Templates/template.dwt.jsp" codeOutsideHTMLIsLocked="false" -->
    <head>
      
        <!-- InstanceBeginEditable name="doctitle" -->
        <title>Misure su reti di calcolatori - gruppo 2</title>
 <%@ page contentType="text/html; charset=iso-8859-1" language="java" import ="java.util.ArrayList, it.unisannio.lesim.fsm.*, java.util.Hashtable, java.util.Enumeration, java.util.Vector" errorPage="error.jsp" %>
      <jsp:useBean id="fsm" class="it.unisannio.lesim.fsm.FSM" scope="session" ></jsp:useBean>
	   <% String msg = (String) request.getAttribute("MSG");%>
	    <% String statoIniziale = (String) session.getAttribute("statoIniziale");%>
           <% Hashtable states = (Hashtable)fsm.getHashStates(); %>
           <% int minTrans = (Integer)session.getAttribute("MinTrans");%>
           <% int curr = (Integer)session.getAttribute("currentTrans");%>
           <% Enumeration e;%>
	      <!-- InstanceEndEditable -->
        <meta name="keywords" content="" />
<meta name="description" content="" />
<link href="default.css" rel="stylesheet" type="text/css" />
<style type="text/css">
<!--
.style1 {color: #EC5600}
-->
</style>
<!-- InstanceBeginEditable name="head" --><!-- InstanceEndEditable -->
    </head>
<body>
<div id="header">
  <div id="logo"><a href="http://lesim1.ing.unisannio.it"><img src="images/logo_misure.png" alt="" /></a></div>
  <div id="menu">
  </div>
</div>
<div id="splash2"><a href="#"></a></div>
<div id="content">
  <div id="colOne"><!-- InstanceBeginEditable name="center" --><style type="text/css">
.style2 {color: #6B6B6B}
</style>
<h2>definizione transizioni</h2>
<% if(msg!=null) { %>
	<br>
        <div class="posted"><div align="center"><%out.println(msg);%></div></div>
	<br>
<% } %>
 <%  if(curr>=minTrans) { %>
	<div align="center"><form action="/AnalizzatoreSip/AddComplete" name="form3" method="post">
  Per completare la definizione della fsm :      
  <input name="submit" type="submit" id="submit" value="continua &gt;&gt;"></form>
	</div>
  <hr>
  <div align="center"><span class="style2">Aggiungi una nuova transizione</span></div>
   <% }%><br>

  <form name="addTrans" method="post" action="/AnalizzatoreSip/AddTransition">
<table width="560" border="0" align="center" cellpadding="10" cellspacing="2">
  <tr>
    <td width="80">&nbsp;</td>
    <td width="240">da <select name="select">
      <%  e = states.elements(); %>
      <% while(e.hasMoreElements()) { %>
      <%String valore = ((State)(e.nextElement())).getName();%>
    <option value="<%=valore%>"><%=valore%></option>
    <% } %>
  </select></td>
    <td width="240">a <select name="select2"> 
   <%  e = states.elements(); %>
   <% while(e.hasMoreElements()) { %>
   <% String valore2 = ((State)(e.nextElement())).getName();%>
    <option value="<%=valore2%>"><%=valore2%></option>
    <% } %>
  </select></td>
  </tr>
  <tr>
    <td align="right">condizione</td>
    <td colspan="2"><input name="condizione" type="text" size="70"></td>
    </tr>
  <tr>
    <td align="right">azione</td>
    <td colspan="2"><input name="azione" type="text" size="70"></td>
    </tr>
  <tr>
    <td>&nbsp;</td>
    <td colspan="2" align="center"><input type="submit" name="Submit" value="aggiungi"></td>
    </tr>
</table></form>
 <div class="posted">
      <div align="center"><form action="/AnalizzatoreSip/Cancel" name="cancel" method="post">
  Per cancellare l'operazione :      
<input name="submit" type="submit" id="submit" value="Cancella Operazione"></form></div>
</div><br>
<% if(states.size()>0) { %>
<p align="center">Lista degli stati attualmente inseriti<hr>
<table width="550" border="0" align="center" cellpadding="10" cellspacing="2">
  <tr>
    <td width="160" align="center">Nome</td>
    <td width="270" align="center">Descrizione</td>
    <td width="120" align="center">tipo</td>
  </tr><%  e = states.elements(); %>
<%    
    while(e.hasMoreElements()) {
        State stato = (State)(e.nextElement());
	%>
	 <tr>
    <td><%=stato.getName()%></td>
    <td><%=stato.getDescription()%></td>
    <% if(stato.getName().equals(statoIniziale)) {%>
	<td>first state <%if(stato.isIsError()) out.println("(error)");%></td>
	<%}
	else if(stato.isIsFinal()) { %>
	<td>final state <%if(stato.isIsError()) out.println("(error)");%></td>
	<% } else { %>
	<td>intermediate state <%if(stato.isIsError()) out.println("(error)");%></td>
	<% }%>
  </tr><% 
          ArrayList transition = (ArrayList)stato.getTransitions();
                   
        for(int h=0;h<transition.size();h++) {
            Transition t = (Transition) transition.get(h); 
            %>
	 <tr>
	   <td>&nbsp;</td>
	   <td colspan="4">stato successivo( <%=t.getNextState()%> ) . <%if(((String)t.getCondition()).length()>0) { %>condizione (<%=t.getCondition()%>) .<% } %> <%if(((String)t.getAction()).length()>0) { %> azione( <%=t.getAction()%> ) . <% } %> </td>
      </tr>   
	  <%} // fine transizione per stato%>
	 <% }%>
</table>
</p>
<% } %>

    <div class="posted">
      <div align="center">definizione fsm -&gt; <span class="style2">definizione stati </span> -&gt; <span class="style1">definizione transizioni </span></div>
    </div>
	<!-- InstanceEndEditable -->
  </div>
	<div id="colTwo">
		<h3>menu</h3>
		<ul>
			<li><a href="index.jsp">home</a></li>
	  </ul>
        <p><a href="http://lesim1.ing.unisannio.it/MatDidattico/MisRetiCalc/Gruppi/Gruppo2/Index.html">progetto lesim</a></p>
        <p><a href="def_fsm.jsp">definizione FSM</a></p>
        <p><a href="fsm.jsp">modifica FSM</a></p>
        <p><a href="/AnalizzatoreSip/ReadFSMforDelete">elimina FSM</a></p>
	</div><div style="clear: both;">&nbsp;</div>
</div>
<div id="footer">
	<p>(c) 2008 Misure su reti di calcolatori.</p>
</div>
</body><!-- InstanceEnd --></html>

